- axiomatic analysis
- мат.аксиоматический анализ
English-Russian scientific dictionary. 2008.
axiomatic analysis
Смотреть что такое "axiomatic analysis" в других словарях:
Axiomatic design — is a systems design methodology using matrix methods to systematically analyze the transformation of customer needs into functional requirements, design parameters, and process variables. The method gets its name from its use of design principles … Wikipedia
Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… … Wikipedia
Axiomatic product development lifecycle — The Axiomatic Product Development Lifecycle (APDL) model was developed by Bulent Gumus in 2005. This new model is based on the Axiomatic Design method developed by MIT Professor Nam P. Suh (1991); hence it inherits the benefits of applying the… … Wikipedia
Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha … Wikipedia
Structured Analysis and Design Technique — For the chemical reaction SADT, see Self Accelerating Decomposition Temperature Structured Analysis and Design Technique (SADT) is a software engineering technique for describing systems as a hierarchy of functions. Overview Structured Analysis… … Wikipedia
Mathematical analysis — Mathematical analysis, which mathematicians refer to simply as analysis, has its beginnings in the rigorous formulation of infinitesimal calculus. It is a branch of pure mathematics that includes the theories of differentiation, integration and… … Wikipedia
Philosophical analysis — (from Greek: Φιλοσοφική ανάλυση) is a general term for techniques typically used by philosophers in the analytic tradition that involve breaking down (i.e. analyzing) philosophical issues. Arguably the most prominent of these techniques is the… … Wikipedia
Static program analysis — This article is about certain software quality assessment methods. For the statistical method, see Static analysis. Static program analysis (also Static code analysis or SCA) is the analysis of computer software that is performed without actually … Wikipedia
Criticism of non-standard analysis — Non standard analysis and its offshoot, non standard calculus, have been criticized by several authors. The evaluation of non standard analysis in the literature has varied greatly. Joseph Dauben described it as a scientific revolution, while… … Wikipedia
Static code analysis — is the analysis of computer software that is performed without actually executing programs built from that software (analysis performed on executing programs is known as dynamic analysis). In most cases the analysis is performed on some version… … Wikipedia
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
